Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science)
by Tiago Massoni,Mohammad Reza Mousavi
ISBN 13: 9783030030438
Format: Paperback (284 pages) Publisher: Springer Published: 24 Oct 2018
Save for later